Is all CCS equal? Classifying CCS applications by their potential climate benefit
نویسندگان
چکیده
منابع مشابه
A note on causal trees and their applications to CCS
Taylor & Francis makes every effort to ensure the accuracy of all the information (the “Content”) contained in the publications on our platform. However, Taylor & Francis, our agents, and our licensors make no representations or warranties whatsoever as to the accuracy, completeness, or suitability for any purpose of the Content. Any opinions and views expressed in this publication are the opin...
متن کاملCCS Dynamic Bisimulation is Progressing
Weak Observational Congruence (woc) defined on CCS agents is not a bisimulation since it does not require two states reached by bisimilar computations of woc agents to be still woc, e.g. α.τ.β.nil and α.β.nil are woc but τ.β.nil and β.nil are not. This fact prevents us from characterizing CCS semantics (when τ is considered invisible) as a final algebra, since the semantic function would induce...
متن کاملRethinking CCS Developing quantitative tools for analyzing investments in CCS
Lack of climate policy and CO2 markets along with a global economic slowdown suggest that we need to rethink our approach to demonstrating CCS at a commercial scale. Austerity measures make it likely that public funding will be tight in coming years, and there is a striking need to ensure that limited funds are spent optimally. Quantitative tools exist for aiding decision making under uncertain...
متن کاملInvestigating afforestation and bioenergy CCS as climate change mitigation strategies
The land-use sector can contribute to climate change mitigation not only by reducing greenhouse gas (GHG) emissions, but also by increasing carbon uptake from the atmosphere and thereby creating negative CO2 emissions. In this paper, we investigate two land-based climate change mitigation strategies for carbon removal: (1) afforestation and (2) bioenergy in combination with carbon capture and s...
متن کاملDecidable Subsets of CCS
Process algebra is a very interesting framework for describing and analyzing concurrent systems. Therefore CCS is used very often and considered pretty important. But it is undecidable if two CCS agents are bisimilar. Luckily Christensen, Hirshfeld and Moller showed 1994 in their paper “Decidable Subsets of CCS” that bisimulation for CCS without communication or without restriction and relabell...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Energy Procedia
سال: 2011
ISSN: 1876-6102
DOI: 10.1016/j.egypro.2011.02.566